Recursive functions modulo ${\rm CO}-r$-maximal sets
نویسندگان
چکیده
منابع مشابه
ATOMLESS r-MAXIMAL SETS
We focus on L(A), the filter of supersets of A in the structure of the computably enumerable sets under the inclusion relation, where A is an atomless r-maximal set. We answer a long standing question by showing that there are infinitely many pairwise non-isomorphic filters of this type.
متن کاملTwo hierarchies of R-recursive functions
In the paper some aspects of complexity of R-recursive functions are considered. The limit hierarchy of R-recursive functions is introduced by the analogy to the μ-hierarchy. Then its properties and relations to the μ-hierarchy are analysed.
متن کاملSatisfiability Modulo Recursive Programs
We present a semi-decision procedure for checking satisfiability of expressive correctness properties of recursive first-order functional programs. In our approach, both properties and programs are expressed in the same language, a subset of Scala. We implemented our procedure and integrated it with the Z3 SMT solver and the Scala compiler. Our procedure is sound for counterexamples and for pro...
متن کاملSome results on maximal open sets
In this paper, the notion of maximal m-open set is introduced and itsproperties are investigated. Some results about existence of maximal m-open setsare given. Moreover, the relations between maximal m-open sets in an m-spaceand maximal open sets in the corresponding generated topology are considered.Our results are supported by examples and counterexamples.
متن کاملMaximal independent sets in graphs with at most r cycles
We find the maximum number of maximal independent sets in two families of graphs. The first family consists of all graphs with n vertices Contract grant sponsor: Award from DIMACS (partially; to V.R.V.); Contract grant sponsor: NSF VIGRE grant to the Rutgers University Department of Mathematics (partially; to V.R.V.). Journal of Graph Theory © 2006 Wiley Periodicals, Inc. 270 MAXIMAL INDEPENDEN...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1970
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1970-0265157-x